81. Programming multi-agent systems : first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
پدیدآورنده : Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrouchni )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3067
82. Programming multi-agent systems : second International Workshop ProMAS 2004, New York, NY, July 20, 2004 : selected revised and invited papers
پدیدآورنده : Rafael H. Bordini... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent agents )Computer software(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3346
83. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
84. RIMS Symposia on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده : edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
220
85. RIMS Symposia on Software Science and Engineering, Kyoto, 1982 : proceedings
پدیدآورنده : edited by Eiichi Goto...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
147
86. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
پدیدآورنده : edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
220
87. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
پدیدآورنده : edited by Eiichi Goto ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
رده :
QA
76
.
L4
v
.
147
88. Runtime verification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
89. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: (طهران)
موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
90. Software and data technologies :
پدیدآورنده : José Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer software-- Development, Congresses,Software engineering, Congresses,Computer software, Congresses,Database management, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
I27
2011
91. Software language engineering
پدیدآورنده : Brian Malloy, Steffen Staab, Mark van den Brand (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
S54
2011
92. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
پدیدآورنده : SLE 8002)8002 :Toulouse, France(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
رده :
QA
76
.
7
.
S587
2008
93. Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
پدیدآورنده : Stephan Diehl )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2269
94. Software visualization :international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
پدیدآورنده : Stephan Diehl )ed.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
751
.
D34
2001
95. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
96. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
97. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه ن‍وی‍س‍ی ,مهندسی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
98. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
